121. Fundamentals of computation theory; proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, 19-23 Sept 1977
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Recursive Functions
رده :
QA
248
.
5
.
I5
122. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
123. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده : / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Recursive functions
رده :
515
.
25
S989
1972
124. Geomodeling
پدیدآورنده : / Jean-Laurent Mallet
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Geology--Computer simulation,Computer-aided design.
رده :
QE
,
48
.
8
,.
M34
,
2002
125. Handbook for Automatic Computation
پدیدآورنده : by A. A. Grau, U. Hill, H. Langmaack ; edited by F. L. Bauer, A. S. Householder, F. W. J. Olver, H. Rutishauser, K. Samelson, E. Stiefel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.
126. Handbook of Approximation Algorithms and Metaheuristics, Second Edition :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Handbooks, manuals, etc.,Heuristic algorithms-- Data processing, Handbooks, manuals, etc.,Mathematical optimization, Handbooks, manuals, etc.,Metaheuristics.,Computer algorithms.,Mathematical optimization.,Metaheuristics.
رده :
QA76
.
9
.
A43
.
H36
2017
127. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
128. Hierarchical perceptual grouping for object recognition :
پدیدآورنده : Eckart Michaelsen, Jochen Meidow.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Pattern recognition systems.,Pattern recognition systems.
رده :
TK7882
.
P3
M53
2019
129. How is Islamophobia institutionalised? :
پدیدآورنده : Nabi, Shaida Raffat
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Institutionalised Islamophobia; Muslim Students; Racialised Governmentality; Ethnic monitoring; University Unions; British Universities; Equality; Race Amendment (2000); Institutional Racism; Muslim Fundamentalism; Student Extremism
130. Hybrid system identification :
پدیدآورنده : Fabien Lauer, Gérard Bloch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hybrid systems.,Mathematical models.,Hybrid systems.,Mathematical models.
رده :
QA76
.
38
131. Identification of continuous-time systems :
پدیدآورنده : edited by N.K. Sinha and G.P. Rao.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic control -- Congresses.,Microprocessors -- Congresses.,System identification -- Congresses.
رده :
TJ212
.
2
E358
1991
132. Insurance risk and ruin /
پدیدآورنده : David C.M. Dickson, University of Melbourne.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Risk (Insurance),Risk (Insurance),Ruintheorie,Versicherungsbetriebslehre
رده :
HG8781
.
D53
2017
133. Introduction to computability
پدیدآورنده : Hennie, Fredreick C
موضوع : ، Turing machies,، Algorithms,، Recursive Functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
134. Introduction to computability
پدیدآورنده : Hennie, Frederick C.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
135. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
136. Inventory rationing :
پدیدآورنده : Karin Möllering.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Inventory control-- Statistical methods.,Markov processes.,Inventory control-- Statistical methods.,Markov processes.
رده :
HB139-141
.
M65
2019
137. Java:
پدیدآورنده : Liwu Li
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : (Produktform)Paperback / softback,(Zielgruppe)Fachpublikum/ Wissenschaft,(Zielgruppe)Professional/practitioner
رده :
QA76
.
73
.
J38
L598
2014
138. LISP 1.5 programmer's manual
پدیدآورنده : / by John McCarthy ... [et al.]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers),LISP (Computer program language)
139. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
140. Languages and machines :
پدیدآورنده : Thomas A. Sudkamp
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité
رده :
QA267
.
3
.
S83
1997
